Reactive programming

Results: 105



#Item
51

Categorical Semantics for Functional Reactive Programming with Temporal Recursion and Corecursion Wolfgang Jeltsch TTÜ Küberneetika Instituut Tallinn, Estonia

Add to Reading List

Source URL: www.cs.bham.ac.uk

- Date: 2014-04-10 20:31:04
    52

    Syntax-based Theory and Implementation of Bigraphical Reactive Systems Troels C. Damgaard () Programming, Logics and Semantics (PLS) Group IT University of Copenhagen Denmark

    Add to Reading List

    Source URL: www.itu.dk

    Language: English - Date: 2008-03-13 13:04:27
      53

      Functional Reactive Programming on iOS Functional reactive programming introduction using ReactiveCocoa Ash Furrow This book is for sale at http://leanpub.com/iosfrp This version was published on

      Add to Reading List

      Source URL: samples.leanpub.com

      Language: English - Date: 2015-05-25 18:04:06
        54

        Syntax-based Theory and Implementation of Bigraphical Reactive Systems Troels C. Damgaard () Programming, Logics and Semantics (PLS) Group IT University of Copenhagen Denmark

        Add to Reading List

        Source URL: www.itu.dk

        Language: English - Date: 2007-10-11 04:48:44
          55

          2014 IEEE Security and Privacy Workshops R  LEGO Bricks for Reactive Programming

          Add to Reading List

          Source URL: ieee-security.org

          Language: English - Date: 2014-04-30 03:11:00
            56

            Syntax-based Theory and Implementation of Bigraphical Reactive Systems Troels C. Damgaard () Programming, Logics and Semantics (PLS) Group IT University of Copenhagen Denmark

            Add to Reading List

            Source URL: www.itu.dk

            Language: English - Date: 2007-10-11 04:48:44
              57Functional languages / Actor model / Futures and promises / Inter-process communication / Observer pattern / Scala / Continuation / Errors and residuals in statistics / Computing / Software engineering / Computer programming

              RAY: Integrating Rx and Async for Direct-Style Reactive Streams Philipp Haller Heather Miller

              Add to Reading List

              Source URL: infoscience.epfl.ch

              Language: English - Date: 2013-09-05 08:45:30
              58Functional languages / Martin Odersky / Scala programming language / Scala / Object-oriented programming / European Conference on Object-Oriented Programming / Actor model / Reactive programming / Concurrent computing / Computing / Software engineering / Computer programming

              Philipp Haller ! Chemin du Bochet 46 CH-1025 St-Sulpice Switzerland

              Add to Reading List

              Source URL: lampwww.epfl.ch

              Language: English - Date: 2014-08-22 08:30:32
              59Subroutines / Concurrency control / Continuations / Swabian League / Tübingen / Ulm / Esterel / Closure / Global variable / Software engineering / Computer programming / Computing

              Mobile Reactive Programming in ULM ´ Stephane Epardaud Inria Sophia-Antipolis 2004 route des Lucioles - BP 93

              Add to Reading List

              Source URL: repository.readscheme.org

              Language: English - Date: 2010-10-22 08:05:32
              60Operations research / Mathematical optimization / Dynamical systems / Control theory / Cybernetics / Linear programming / Interior point method / Convex optimization / Vector space / Mathematics / Algebra / Mathematical analysis

              Safety Verification of Reactive Controllers for UAV Flight in Cluttered Environments using Barrier Certificates Andrew J. Barry, Anirudha Majumdar, and Russ Tedrake Abstract— Unmanned aerial vehicles (UAVs) have a so-f

              Add to Reading List

              Source URL: abarry.org

              Language: English - Date: 2012-02-11 02:59:02
              UPDATE